搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Proceedings of the 39th Midwest Symposium on Circuits and Systems : August 18-21, 1996, Scheman Continuing Education Building, Iowa State University, Ames, Iowa 0 索取号：TN7-53/E20071/39.3 作者：Midwest Symposium on Circuits and Systems (39th : 1996 : Ames、 Iowa)、Cameron、 Gregg.、Iowa State University. Dept. of Electrical and Computer Engineering.、IEEE Circuits and Systems Society.、IEEE Control Systems Society.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.		Proceedings of the 39th Midwest Symposium on Circuits and Systems : August 18-21, 1996, Scheman Continuing Education Building, Iowa State University, Ames, Iowa 0 索取号：TN7-53/E20071/39.2 作者：Midwest Symposium on Circuits and Systems (39th : 1996 : Ames、 Iowa)、Cameron、 Gregg.、Iowa State University. Dept. of Electrical and Computer Engineering.、IEEE Circuits and Systems Society.、IEEE Control Systems Society.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.
	Proceedings of the 39th Midwest Symposium on Circuits and Systems : August 18-21, 1996, Scheman Continuing Education Building, Iowa State University, Ames, Iowa 0 索取号：TN7-53/E20071/39.1 作者：Midwest Symposium on Circuits and Systems (39th : 1996 : Ames、 Iowa)、Cameron、 Gregg.、Iowa State University. Dept. of Electrical and Computer Engineering.、IEEE Circuits and Systems Society.、IEEE Control Systems Society.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.		Computer simulation studies in condensed-matter physics IX : proceedings of the ninth workshop, Athens, GA, USA, March 4-9, 1996 0 索取号：O411.2-532/E20001/9 作者：出版社：Berlin ; New York : Springer, c1997.
	Database issues for data visualization : IEEE Visualization '95 Workshop, Atlanta, Georgia, USA, October 28, 1995 : proceedings 0 索取号：TP311.13-532/E991 作者：出版社：Berlin ; New York : Springer, c1996.		Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings 0 索取号：TP31-532/E992/1997 作者：出版社：Berlin ; New York : Springer, c1997.
	Energy minimization methods in computer vision and pattern recognition : international workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997: proceedings 0 索取号：TP391.4-532/E994 作者：出版社：Berlin ; New York : Springer, c1997.		Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings 0 索取号：TP312-532/E991/9 作者：Workshop on Languages and Compilers for Parallel Computing (9th : 1996 : San Jose、 California)、Sehr、 David.、出版社：Berlin : New York : Springer, c1997.
	Multimedia : advanced teleservices and high-speed communication architectures : second international workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994 : proceedings 0 索取号：TP391.4-532/E9920/1994 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.		Hypermedia design : proceedings of the International Workshop on Hypermedia Design (IWHD'95), Montepellier, France, 1-2 June 1995 0 索取号：TP391-532/E992/1995 作者：出版社：London ; New York : Springer, c1996.
	Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers 0 索取号：TP302.2-532/E20011/1993 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.		Nanostructured and non-crystalline materials : proceedings of the fourth International Workshop on Non-Crystalline Solids : Madrid, Spain, 20-23 September 1994 0 索取号：TB3-532/E991/4 作者：International Workshop on Non-Crystalline Solids (4th : 1994 : Madrid、 Spain)、Vázquez、 M、Hernando、 Antonio、 1947-、出版社：Singapore ; River Edge, NJ : World Scientific, c1995
	Fluctuation phenomena : disorder and nonlinearity : proceedings of the international workshop, San Lorenzo de El Escorial, Madrid, Spain, 26-30 September 1994 0 索取号：O411-532/E994 作者：出版社：Singapore ; River Edge, NJ : World Scientific, c1995.		Proceedings, Seventh International Conference on Tools with Artificial Intelligence : November 5-8, 1995, Herndon, Virginia, USA 0 索取号：TP18-532/E20071/7 作者：International Conference on Tools for Artificial Intelligence (7th : 1995 : Herndon、 Va.)、IEEE Computer Society. Technical Committee on Pattern Analysis and Machine Intelligence.、State University of New York at Binghamton.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
	Network and operating system support for digital audio and video : 5th international workshop, NOSSDAV '95, Durham, New Hampshire, USA, April 19-21, 1995 : proceedings 0 索取号：TP391-532/E993/5 作者：出版社：Berlin ; New York : Springer, c1995.		Multimedia transport and teleservices : International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings 0 索取号：TP391-532/E994/1994 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.

	Proceedings of the 39th Midwest Symposium on Circuits and Systems : August 18-21, 1996, Scheman Continuing Education Building, Iowa State University, Ames, Iowa 0 索取号：TN7-53/E20071/39.3 作者：Midwest Symposium on Circuits and Systems (39th : 1996 : Ames、 Iowa)、Cameron、 Gregg.、Iowa State University. Dept. of Electrical and Computer Engineering.、IEEE Circuits and Systems Society.、IEEE Control Systems Society.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.		Proceedings of the 39th Midwest Symposium on Circuits and Systems : August 18-21, 1996, Scheman Continuing Education Building, Iowa State University, Ames, Iowa 0 索取号：TN7-53/E20071/39.2 作者：Midwest Symposium on Circuits and Systems (39th : 1996 : Ames、 Iowa)、Cameron、 Gregg.、Iowa State University. Dept. of Electrical and Computer Engineering.、IEEE Circuits and Systems Society.、IEEE Control Systems Society.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.
	Proceedings of the 39th Midwest Symposium on Circuits and Systems : August 18-21, 1996, Scheman Continuing Education Building, Iowa State University, Ames, Iowa 0 索取号：TN7-53/E20071/39.1 作者：Midwest Symposium on Circuits and Systems (39th : 1996 : Ames、 Iowa)、Cameron、 Gregg.、Iowa State University. Dept. of Electrical and Computer Engineering.、IEEE Circuits and Systems Society.、IEEE Control Systems Society.、出版社：New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.		Computer simulation studies in condensed-matter physics IX : proceedings of the ninth workshop, Athens, GA, USA, March 4-9, 1996 0 索取号：O411.2-532/E20001/9 作者：出版社：Berlin ; New York : Springer, c1997.
	Database issues for data visualization : IEEE Visualization '95 Workshop, Atlanta, Georgia, USA, October 28, 1995 : proceedings 0 索取号：TP311.13-532/E991 作者：出版社：Berlin ; New York : Springer, c1996.		Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings 0 索取号：TP31-532/E992/1997 作者：出版社：Berlin ; New York : Springer, c1997.
	Energy minimization methods in computer vision and pattern recognition : international workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997: proceedings 0 索取号：TP391.4-532/E994 作者：出版社：Berlin ; New York : Springer, c1997.		Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings 0 索取号：TP312-532/E991/9 作者：Workshop on Languages and Compilers for Parallel Computing (9th : 1996 : San Jose、 California)、Sehr、 David.、出版社：Berlin : New York : Springer, c1997.
	Multimedia : advanced teleservices and high-speed communication architectures : second international workshop, IWACA '94, Heidelberg, Germany, September 26-28, 1994 : proceedings 0 索取号：TP391.4-532/E9920/1994 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.		Hypermedia design : proceedings of the International Workshop on Hypermedia Design (IWHD'95), Montepellier, France, 1-2 June 1995 0 索取号：TP391-532/E992/1995 作者：出版社：London ; New York : Springer, c1996.
	Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers 0 索取号：TP302.2-532/E20011/1993 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.		Nanostructured and non-crystalline materials : proceedings of the fourth International Workshop on Non-Crystalline Solids : Madrid, Spain, 20-23 September 1994 0 索取号：TB3-532/E991/4 作者：International Workshop on Non-Crystalline Solids (4th : 1994 : Madrid、 Spain)、Vázquez、 M、Hernando、 Antonio、 1947-、出版社：Singapore ; River Edge, NJ : World Scientific, c1995
	Fluctuation phenomena : disorder and nonlinearity : proceedings of the international workshop, San Lorenzo de El Escorial, Madrid, Spain, 26-30 September 1994 0 索取号：O411-532/E994 作者：出版社：Singapore ; River Edge, NJ : World Scientific, c1995.		Proceedings, Seventh International Conference on Tools with Artificial Intelligence : November 5-8, 1995, Herndon, Virginia, USA 0 索取号：TP18-532/E20071/7 作者：International Conference on Tools for Artificial Intelligence (7th : 1995 : Herndon、 Va.)、IEEE Computer Society. Technical Committee on Pattern Analysis and Machine Intelligence.、State University of New York at Binghamton.、出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
	Network and operating system support for digital audio and video : 5th international workshop, NOSSDAV '95, Durham, New Hampshire, USA, April 19-21, 1995 : proceedings 0 索取号：TP391-532/E993/5 作者：出版社：Berlin ; New York : Springer, c1995.		Multimedia transport and teleservices : International COST 237 Workshop, Vienna, Austria, November 13-15, 1994 : proceedings 0 索取号：TP391-532/E994/1994 作者：出版社：Berlin ; New York : Springer-Verlag, c1994.